• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۵ پاسخ غیر تکراری از ۵ پاسخ تکراری در مدت زمان ۲,۲۲ ثانیه یافت شد.

1. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

Library: Library of College of Science University of Tehran (Tehran)

Subject: Logic programming,Artificial intelligence,Logic, Symbolic and mathematical

Classification :
QA
76
.
63
.
H36
1993

2. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical

Classification :
QA
76
.
63
.
H36
1993

3. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

Library: Central Library and Documentation Center (Kerman)

Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical

Classification :
QA
76
.
63
.
H36
1993

4. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical

Classification :
QA
76
.
63
.
H26

5. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses

Classification :
Q
334
.
E985
1990
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival